# this file has 15 nodes, 27 edges
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1 2
1 3
1 4
1 5
5 6
8 9
8 10
8 5
11 12
11 13
11 8
13 10
14 13
15 14
15 12
12 13
10 7
9 10
9 6
6 7
4 15
4 14
4 11
3 14
3 7
2 3
2 6
